رفع کاستی ها و پیاده سازی روش صوری ادغام گرامرهای مبهم مستقل از متن با مجموعه های الزام آور

پدیده های حیرت آور در آنالیز ریاضی و سنجش بزرگی مجموعه ها

در این مقاله به شرح  برخی مفاهیمی می پردازیم که برای سنجش بزرگی یا کوچکی مجموعه ها  در آنالیز ریاضی به کار رفته است. به ویژه با استفاده از مفهوم توپولوژیکی مجموعه های رسته اول، نشان می دهیم که بسیاری از رفتار های غیرمتعارف توابع در برخی فضاهای تابعی که  گاهی خلافِ عقل سلیم به نظر می رسند، رفتارهای به اصطلاح توپولوژیکی - عام هستند.

رفع ابهام معنایی واژگان مبهم فارسی با مدل موضوعی LDA

Word sense disambiguation is the task of identifying the correct sense for the word in a given context among a finite set of possible sense. In this paper a model for farsi word sense disambiguation is presented. The model use two group of features: first, all word and stop words around target word and topic models as second features. We extract topics from a farsi corpus with Latent Dirichlet ...

پیاده سازی سیستم بهینه مدیریت انرژی برای مجموعه ریز شبکه ها

مدیریت بهینه انرژی در سیستم‌های دارای چند ریزشبکه چالش‌های جدیدی را در سیستم‌های قدرت بوجود آورده است. لذا، ارائه سیستم‌های مدیریت انرژی با درنظر گرفتن عملکرد بهینه منابع موجود در ریزشبکه‌ها، کنترل تبادل توان با شبکه و نیز مابین ریزشبکه‌ها حائز اهمیت می‌باشد. در این مقاله، بمنظور مدیریت انرژی در سیستم‌های دارای ریزشبکه‌های متعدد با مالکیت های مختلف، ساختاری با دو لایه کنترلی بنام‌های کنترل اولی...

ادغام منابع الکترونیک در خط مشی مجموعه سازی

استدلال متنی: صوری سازی متن

استدلال همواره در یک زمینه یا متن صورت می گیرد، لذا در نظر گرفتن متنی که استدلال در آن واقع می شود در فرآیند استدلال ضرورت دارد. از سوی دیگر هر متن شامل متغیرهای فراوانی است که درنظر گرفتن تمامی آنها نه ممکن و نه ضروری است. این پایان نامه به معرفی روش هایی می پردازد که برای صوری سازی متغیرهای وابسته به متن برای کاربرد در استدلال پیشنهاد شده و به طور خاص روش پیشنهادی فاستو گیونچیگلیا با تفصیل مع...

ماهیت الزام¬آور یا غیرالزام¬آور اقدامات تأمینی صادره توسط دیوان بین¬المللی دادگستری

اقدامات تامینی در حقوق داخلی نهادی مشخص است و کارکردی معین را دنبال می­کند. اما این موضوع در حقوق بین الملل عمومی با صراحت و صلابت حقوق داخلی بیان نشده است و وصف الزام آور بودن آن مورد تشکیک است. علت این فاصله بین حقوق داخلی و حقوق بین الملل عمومی نحوه نگارش ماده 41 اساسنامه دیوان دادگستری بین المللی و  ماده 94 منشور سازمان ملل است که از صراحت لازم جهت الزامی بودن این نهاد در متون آن استفاده نش...